This project is part of the
@thi.ng/umbrella monorepo.
About
Polyglot bindings code generators for hybrid JS & WebAssembly projects. This is a support package for @thi.ng/wasm-api.
Without any additional help, current data exchange between a WebAssembly module
and the JS/TS host application is restricted to simple numeric values. Not even
strings can be directly passed between the two worlds. For any non-trivial
application this is very cumbersome and insufficient and requires additional
infrastructure...
Data bindings & code generators
The package provides an extensible code generation framework to simplify the
bilateral design and efficient & scalable exchange of data structures shared
between the WASM & JS host env. Currently, code generators for the following
languages are supplied:
These code generators derive their outputs from a single source of truth, a user
provided JSON file of shared type definitions and optional additional
configuration, e.g. to configure string behavior and/or provide custom user code
to inject into the generated source code. Please see the
@thi.ng/wasm-api-dom
support package for a more thorough realworld example...
Code independence
Even though these code generators are published as part of the group of
thi.ng/wasm-api packages, there are no runtime dependencies for the generated
native WASM side code. For C/Zig compilation, only the boilerplate type definition headers are required:
However, the generated TypeScript types will depend on the core
thi.ng/wasm-api
infrastructure, but that should be expected, since that kind of re-use is the
entire purpose of that parent package.
Supported data types
Currently, the code generators support top level types: enums, function pointers, structs and
unions. See API docs for supported options & further details:
Struct/union field types
Struct field types can be any of the supported WASM primitives or other user
defined types in the same JSON spec. In all cases, each field's base type can be
customized via field
options.
Primitives
i8
, i16
, i32
, i64
, u8
, u16
, u32
, u64
f32
, f64
The following types are always available too, but are treated specially in some
or all languages (explained in more detail further below):
opaque
- pointer to opaque data (e.g. void*
in C or *anyopaque
in Zig)string
- configurable string abstraction (see dedicated section in this readme)
Type variations
Base type | Tag | Length | Const | Sentinel(1) | Equiv Zig type | Description |
---|
Foo | | | | | Foo | A single Foo |
Foo | array | N | | | [N]Foo | Array of N Foo |
u8 | array | N | | 0 | [N:0]u8 | Sentinel-terminated array of N+1 u8 (2) |
Foo | slice | | | | []Foo | Slice of Foo (3) |
Foo | slice | | true | | []const Foo | Slice of readonly Foo (3) |
u8 | vec | N | | | @Vector(N, u8) | Vector of N u8 (4) |
- (1) Explicit sentinel support is lang specific (e.g. Zig) and here
only available for numeric types
- (2) The usable length of sentinel-terminated arrays is N, but space
is reserved for N+1 items. In some languages (e.g. C) the sentinel is
available as separate "hidden" field and must be initialized manually.
- (3) All slices are emulated (see section below)
- (4) Numeric types only, SIMD compatible (if supported by language &
enabled in WASM target)
Pointers
For each type, multiple pointer variations can be defined using a combination of
the tag
, len
, const
and sentinel
field options.
Note: If len
is set to 0, the pointer is considered a pointer to an
unspecified number of items. If len
> 0, the type signature will reflect this.
In our context, const-ness always refers to the target data, never to the
pointer or slice itself (i.e. the pointer itself will always be mutable).
Base type | Tag | Length | Const | Sentinel(1) | Equiv Zig type | Description |
---|
Foo | ptr | | | | *Foo | Pointer to a single Foo |
Foo | ptr | | true | | *const Foo | Pointer to a single readonly Foo |
Foo | ptr | N | | | *[N]Foo | Pointer to N Foo |
Foo | ptr | N | true | | *const [N]Foo | Pointer to N readonly Foo |
u8 | ptr | N | | 0 | *[N:0]u8 | Pointer to N sentinel-terminated u8 |
u8 | ptr | N | true | 0 | *const [N:0]u8 | Pointer to N sentinel-terminated readonly u8 |
Foo | ptr | 0 | | | [*]Foo | Pointer to multiple Foo (2) |
Foo | ptr | 0 | true | | [*]const Foo | Pointer to multiple readonly Foo (2) |
u8 | ptr | 0 | | 0 | [*:0]u8 | Pointer to multiple sentinel-terminated u8 |
u8 | ptr | 0 | true | 0 | [*:0]const u8 | Pointer to multiple sentinel-terminated readonly u8 |
- (1) explicit sentinel support is lang specific (e.g. Zig) and here only available for numeric types
- (2) type or semantics not fully supported by all languages, i.e. no
support in TypeScript, no diff to single-item pointers in C
Opaque pointers
Opaque pointers are type erased pointers and only partially supported on the JS
side, i.e. the pointer's target address can be retrieved, but nothing else.
Base type | Tag | Length | Const | Equiv Zig type | Description |
---|
opaque | | | | *anyopaque | Pointer to opaque/unknown data |
opaque | | | true | *const anyopaque | Pointer to readonly opaque data |
opaque | array | N | | [N]*anyopaque | Array of N pointers to opaque data |
opaque | array | N | true | [N]*const anyopaque | Array of N pointers to readonly opaque data |
opaque | slice | | | []*anyopaque | Slice of pointers to opaque data |
opaque | slice | | true | []*const anyopaque | Slice of pointers to readonly opaque data |
opaque | ptr | | | *anyopaque | Pointer to a pointer to opaque data |
opaque | ptr | | true | *const anyopaque | Pointer to a pointer to readonly opaque data |
opaque | ptr | N | | *[N]*anyopaque | Pointer to N pointers to opaque data |
opaque | ptr | N | true | *[N]*const anyopaque | Pointer to N pointers to readonly opaque data |
opaque | ptr | 0 | | [*]*anyopaque | Pointer to multiple pointers to opaque data |
opaque | ptr | 0 | true | [*]*const anyopaque | Pointer to multiple pointers to readonly opaque data |
String handling
Most low-level languages deal with strings very differently and alas there's no
general standard. Some have UTF-8/16 support, others don't. In some languages
(incl. C & Zig), strings are stored (by default) as zero terminated char
sequence, in others they aren't... It's outside the scope of this package to
provide an allround out-of-the-box solution. The WasmBridge
runtime API
provides read & write accessors to obtain JS strings from UTF-8 encoded WASM
memory. See
getString()
and
setString()
for details.
The code generators check a global stringType
option to interpret the built-in
string
type of a struct field in different ways:
ptr
(default): Considers a string as C-style char*
pointer
(zero-terminated, but without any explicit length)slice
: Considers strings as Zig-style slices (i.e. pointer + length)
Regardless of implementation choice (and in opposite fashion to all other
types), the default for strings is const
aka readonly... If mutable strings
are required, set const
field option to false
.
Strings as zero-terminated pointers
This is the default behavior/implementation for string
:
See
C/C++
and
Zig
types for definitions of StringPtr
and ConstStringPtr
et al...
Base type | Tag | Length | Const | Equiv Zig type signature | Description |
---|
string | | | | ConstStringPtr | Single readonly string |
string | | | false | StringPtr | Single mutable string |
string | array | N | | [N]ConstStringPtr | Array of N readonly strings |
string | array | N | false | [N]StringPtr | Array of N mutable strings |
string | slice | | | ConstStringPtrSlice | Slice of readonly strings |
string | slice | | false | StringPtrSlice | Slice of mutable strings |
string | ptr | | | *ConstStringPtr | Pointer to a single readonly string |
string | ptr | | false | *StringPtr | Pointer to a single mutable string |
string | ptr | N | | *[N]ConstStringPtr | Pointer to N readonly strings |
string | ptr | N | false | *[N]StringPtr | Pointer to N mutable strings |
Strings as slices
If the global stringType
option is set to slice
, i.e. instead of a simple
pointer, strings are now stored using emulated slices.
Base type | Tag | Length | Const | Equiv Zig type signature | Description |
---|
string | | | | ConstString | Single readonly string |
string | | | false | String | Single mutable string |
string | array | N | | [N]ConstString | Array of N readonly strings |
string | array | N | false | [N]String | Array of N mutable strings |
string | slice | | | ConstStringSlice | Slice of readonly strings |
string | slice | | false | StringSlice | Slice of mutable strings |
string | ptr | | | *ConstString | Pointer to a single readonly string |
string | ptr | | false | *String | Pointer to a single mutable string |
string | ptr | N | | *[N]ConstString | Pointer to N readonly strings |
string | ptr | N | false | *[N]String | Pointer to N mutable strings |
Slice emulation
A "slice" is a typed view of a memory region: A coupling of a pointer to a start
item and a given length (number of items). Of the languages currently targeted
by the code gens in this package, only Zig has native support for this concept,
however forbids using slices in so-called extern struct
s (which are the struct
type used for interop and required for guaranteed memory layouts).
Therefore, all slices used here will be emulated using simple auto-generated
wrapper structs, like:
typedef struct {
const char* ptr;
size_t len;
} String;
typedef struct { Foo* ptr; size_t len; } FooSlice;
typedef struct { const Foo* ptr; size_t len; } ConstFooSlice;
// Zig examples
pub const String = extern struct { ptr: [*:0]const u8, len: usize }; // see: /zig/lib.zig
pub const FooSlice = extern struct { ptr: *Foo; len: usize; };
pub const ConstFooSlice = extern struct { ptr: *const Foo; len: usize; };
For convenience, the supplied Zig slice
polyfill
also provides coercion functions to/from native slice types...
The TypeScript codegen will emit slices as JS arrays and doesn't support direct
manipulation of a slice itself at current. Note: If the slice uses a
non-primitive element type, each item in the slice can be manipulated...
Padding
Should there ever be a need for manual padding inside a struct or union
definition, the following field spec can be used: { pad: N }
, where N is the
number of bytes to use for the empty space... Names for these special purpose
fields will be autogenerated and all other field options are ignored.
JSON schema for type definitions
The package provides a detailed schema to aid the authoring of type definitions
(and provide inline documentation) via editors with JSON schema integration. The
schema is distributed as part of the package and located in
/schema/wasm-api-types.json
.
For VSCode, you can add this snippet to your workspace
settings
to apply the schema to any typedefs.json
files:
"json.schemas": [
{
"fileMatch": ["**/typedefs.json"],
"url": "./node_modules/@thi.ng/wasm-api-bindgen/schema/wasm-api-types.json"
}
]
CLI generator
The package includes a small CLI
wrapper
to invoke the code generator(s) from JSON type definitions and to write the
generated source code(s) to different files:
$ npx @thi.ng/wasm-api
█ █ █ │
██ █ │
█ █ █ █ █ █ █ █ │ @thi.ng/wasm-api-bindgen 0.1.0
█ █ █ █ █ █ █ █ █ │ Multi-language data bindings code generator
█ │
█ █ │
usage: wasm-api-bindgen [OPTS] JSON-INPUT-FILE(S) ...
wasm-api-bindgen --help
Flags:
-d, --debug enable debug output & functions
--dry-run enable dry run (don't overwrite files)
Main:
-a FILE, --analytics FILE output file path for raw codegen analytics
-c FILE, --config FILE JSON config file with codegen options
-l ID[,..], --lang ID[,..] [multiple] target language: "c11", "ts", "zig" (default: ["ts","zig"])
-o FILE, --out FILE [multiple] output file path
-s TYPE, --string TYPE Force string type implementation: "slice", "ptr"
By default, the CLI generates sources for TypeScript and Zig (in this order!).
Order is important, since the output file paths must be given in the same order
as the target languages. It's recommended to be explicit with this. An example
invocation looks like:
wasm-api-bindgen \
--config config.json \
--lang ts -o src/generated.ts \
--lang zig -o src.zig/generated.zig \
typedefs.json
The structure of the config file is as follows (all optional):
{
"global": { ... },
"c11": { ... },
"ts": { ... },
"zig": { ... },
}
More details about possible
global
,
c
and
ts
and
zig
config
options & values.
All code generators have support for custom code prologues & epilogues which can
be specified via the above options. These config options exist for both non-CLI
& CLI usage. For the latter, these custom code sections can also be loaded from
external files by specifying their file paths using @
as prefix, e.g.
{
"ts": { "pre": "@tpl/prelude.ts" },
"zig": { "pre": "@tpl/prelude.zig", "post": "@tpl/epilogue.zig" },
}
Example usage
The following example defines 1x enum, 2x structs and 1x union. Shown here are
the JSON type definitions and the resulting source codes:
⬇︎ CLICK TO EXPAND EACH CODE BLOCK ⬇︎
Type definitions
readme-types.json
[
{
"name": "EventType",
"type": "enum",
"tag": "u8",
"doc": "Supported event types",
"values": [
{ "name": "mouse", "value": 1, "doc": "Any kind of mouse event" },
{ "name": "key", "doc": "Key down/up event" },
"misc"
]
},
{
"name": "MouseEvent",
"type": "struct",
"tag": "extern",
"doc": "Example struct",
"fields": [
{ "name": "type", "type": "EventType" },
{ "name": "pos", "type": "u16", "tag": "array", "len": 2 }
]
},
{
"name": "KeyEvent",
"type": "struct",
"tag": "extern",
"doc": "Example struct",
"fields": [
{ "name": "type", "type": "EventType" },
{ "name": "key", "type": "string", "doc": "Name of key which triggered event" },
{ "name": "modifiers", "type": "u8", "doc": "Bitmask of active modifier keys" }
]
},
{
"name": "Event",
"type": "union",
"tag": "extern",
"fields": [
{ "name": "mouse", "type": "MouseEvent" },
{ "name": "key", "type": "KeyEvent" }
]
}
]
Generated TypeScript source code
generated.ts
import { MemorySlice, Pointer, WasmStringPtr, WasmTypeBase, WasmTypeConstructor } from "@thi.ng/wasm-api";
export enum EventType {
MOUSE = 1,
KEY,
MISC,
}
export interface MouseEvent extends WasmTypeBase {
type: EventType;
pos: Uint16Array;
}
export const $MouseEvent: WasmTypeConstructor<MouseEvent> = (mem) => ({
get align() {
return 2;
},
get size() {
return 6;
},
instance: (base) => {
return {
get __base() {
return base;
},
get __bytes() {
return mem.u8.subarray(base, base + 6);
},
get type(): EventType {
return mem.u8[base];
},
set type(x: EventType) {
mem.u8[base] = x;
},
get pos(): Uint16Array {
const addr = (base + 2) >>> 1;
return mem.u16.subarray(addr, addr + 2);
},
};
}
});
export interface KeyEvent extends WasmTypeBase {
type: EventType;
key: WasmStringPtr;
modifiers: number;
}
export const $KeyEvent: WasmTypeConstructor<KeyEvent> = (mem) => ({
get align() {
return 4;
},
get size() {
return 12;
},
instance: (base) => {
let $key: WasmStringPtr | null = null;
return {
get __base() {
return base;
},
get __bytes() {
return mem.u8.subarray(base, base + 12);
},
get type(): EventType {
return mem.u8[base];
},
set type(x: EventType) {
mem.u8[base] = x;
},
get key(): WasmStringPtr {
return $key || ($key = new WasmStringPtr(mem, (base + 4), true));
},
get modifiers(): number {
return mem.u8[(base + 8)];
},
set modifiers(x: number) {
mem.u8[(base + 8)] = x;
},
};
}
});
export interface Event extends WasmTypeBase {
mouse: MouseEvent;
key: KeyEvent;
}
export const $Event: WasmTypeConstructor<Event> = (mem) => ({
get align() {
return 4;
},
get size() {
return 12;
},
instance: (base) => {
return {
get __base() {
return base;
},
get __bytes() {
return mem.u8.subarray(base, base + 12);
},
get mouse(): MouseEvent {
return $MouseEvent(mem).instance(base);
},
set mouse(x: MouseEvent) {
mem.u8.set(x.__bytes, base);
},
get key(): KeyEvent {
return $KeyEvent(mem).instance(base);
},
set key(x: KeyEvent) {
mem.u8.set(x.__bytes, base);
},
};
}
});
Generated Zig source code
generated.zig
//! Generated by @thi.ng/wasm-api-bindgen at 2022-11-24T10:54:36.735Z
//! DO NOT EDIT!
const std = @import("std");
const bindgen = @import("wasm-api-bindgen");
/// Supported event types
pub const EventType = enum(u8) {
/// Any kind of mouse event
mouse = 1,
/// Key down/up event
key,
misc,
};
/// Example struct
pub const MouseEvent = extern struct {
type: EventType,
pos: [2]u16,
};
/// Example struct
pub const KeyEvent = extern struct {
type: EventType,
/// Name of key which triggered event
key: bindgen.ConstStringPtr,
/// Bitmask of active modifier keys
modifiers: u8,
};
pub const Event = extern union {
mouse: MouseEvent,
key: KeyEvent,
};
Building the Zig module
The following command shows how to build a Zig WASM module and define a package
for the supplied type wrappers:
zig build-lib \
--pkg-begin wasm-api-bindgen node_modules/@thi.ng/wasm-api-bindgen/zig/lib.zig --pkg-end \
-target wasm32-freestanding \
-O ReleaseSmall -dynamic \
main.zig
Alternatively, use a more elaborate setup used by various example
projects
in this repo, using Zig's native build system...
Runtime example
On the TypeScript/JS side, the memory-mapped wrappers (e.g. $Event
)
can be used in combination with the WasmBridge
to obtain fully typed views
(according to the generated types) of the underlying WASM memory. Basic usage is
like:
import { WasmBridge } from "@thi.ng/wasm-api";
import { $Event, EventType } from "./generated.ts";
const bridge = new WasmBridge();
const event = $Event(bridge).instance(0x10000);
event.mouse.pos
event.mouse.pos[0] = 300;
event.mouse.pos.set([1, 2]);
event.mouse.pos.set([1, 2, 3]);
event.mouse.type === EventType.MOUSE
IMPORTANT: Field setters are currently only supported for single values,
incl. enums, strings, structs, unions. The latter two will always be copied by
value (mem copy). Currently, array, multi-pointers and slices do not provide
write access (from the JS side)...
Status
ALPHA - bleeding edge / work-in-progress
Search or submit any issues for this package
Installation
yarn add @thi.ng/wasm-api-bindgen
ES module import:
<script type="module" src="https://cdn.skypack.dev/@thi.ng/wasm-api-bindgen"></script>
Skypack documentation
For Node.js REPL:
const wasmApiBindgen = await import("@thi.ng/wasm-api-bindgen");
Package sizes (brotli'd, pre-treeshake): ESM: 5.93 KB
Dependencies
API
Generated API docs
TODO
Please also see further examples in the @thi.ng/wasm-api main
readme and
the various (commented) example projects linked above.
Authors
If this project contributes to an academic publication, please cite it as:
@misc{thing-wasm-api-bindgen,
title = "@thi.ng/wasm-api-bindgen",
author = "Karsten Schmidt",
note = "https://thi.ng/wasm-api-bindgen",
year = 2022
}
License
© 2022 - 2023 Karsten Schmidt // Apache License 2.0